Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Source URL: shukla.io

• Learning
• Humancomputer interaction
• Cognition
• Machine learning
• Multimodal interaction
• User interfaces
• Graphical model
• Artificial intelligence
• Robot learning
• Natural language processing
• Parsing
• Dialogue system

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

Source URL: www.cs.bham.ac.uk

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Logic in computer science
• Programming language semantics
• Abstract interpretation
• Operational semantics
• ALGOL 68
• Syntax
• Programming language

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space

Computer Science Curricula 2013 Curriculum Guidelines for Undergraduate Degree Programs in Computer Science December 20, 2013

Source URL: www.acm.org

• Computer science
• Computing
• Electromagnetism
• Association for Computing Machinery
• IEEE Computer Society
• Software engineering
• Computer
• Fellows of the American Association for the Advancement of Science
• ACM SIGARCH
• Peter J. Denning

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Source URL: jorgenavas.github.io

• Formal languages
• Mathematics
• Language
• Combinatorics
• Context-free language
• Regular language
• Context-free grammar
• Kleene star
• Regular expression
• Omega-regular language
• Complementation of Bchi automaton

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India

Source URL: gdac.uqam.ca

• Graph theory
• Computing
• Resource Description Framework
• Query languages
• Mathematics
• Discrete mathematics
• SPARQL
• FO
• Graph
• Directed graph
• RDFLib

Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra

Source URL: cnnlocalization.csail.mit.edu

• Computer vision
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Convolutional neural network
• Computational statistics
• Neural networks
• AlexNet
• Conference on Computer Vision and Pattern Recognition
• ImageNet
• Object detection
• Receptive field

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model